Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
261	Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2016-01-19 11:56:00 Model theory Mathematical logic Predicate logic First-order logic FO Second-order logic Structure Term Logic programming
262	HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Convex analysis Mathematical optimization Convex optimization Operations research Variational analysis Subgradient method Subderivative Ellipsoid method Convex function Generalized algebraic data type Convex set Map
263	Optimal Mechanism Design for a Sequencing Problem with Two-Dimensional Types Ruben Hoeksma1 and Marc Uetz2 1 2 Add to Reading List Source URL: dii.uchile.cl Language: English - Date: 2016-08-08 18:08:00 Operations research Combinatorial optimization Linear programming Convex optimization Integer programming Mathematical optimization Polyhedral combinatorics
264	The Stratosphere Platform: Big Data Analytics at Scale Database Systems and Information Management, Technische Universität Berlin Big Data Analysts Still Hard to Find Mathematical Programming Add to Reading List Source URL: www.user.tu-berlin.de Language: English - Date: 2016-07-21 07:25:51 Parallel computing Distributed computing architecture Apache Software Foundation Data management MapReduce Big data Iteration Apache Hadoop Data analysis Aster Data Systems Apache Spark
265	CS261: A Second Course in Algorithms Lecture #10: The Minimax Theorem and Algorithms for Linear Programming∗ Tim Roughgarden† February 4, 2016 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2016-02-14 14:14:35 Operations research Linear programming Convex optimization Combinatorial optimization Mathematical optimization Simplex algorithm Ellipsoid method Simplex Candidate solution Nonlinear programming Minimax Optimization problem
266	Genome Informatics 15(2): 141–Increasing Feasibility of Optimal Gene Network Estimation Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2004-12-20 01:25:30 Analysis of algorithms Asymptotic analysis Big O notation Mathematical notation Dynamic programming Bayesian network Algorithm HeldKarp algorithm Expectationmaximization algorithm
267	Course Syllabus: CS 141: Intermediate Data Structures and Algorithms Winter, 2009 Course Description: Basic algorithm analysis techniques; asymptotic complexity; big-O and big-Omega notations; induction and recurrence re Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2009-01-07 13:50:34 Operations research Algorithms Introduction to Algorithms Mathematical optimization Divide and conquer algorithms Greedy algorithm Dynamic programming Sorting algorithm
268	Matplotlib: DANSE kickoff John D. Hunter, Ph.D. Add to Reading List Source URL: www.cacr.caltech.edu Language: English - Date: 2006-08-17 19:44:05 High-level programming languages Matplotlib Mathematical software Cross-platform software John D. Hunter Array programming languages Numerical software IPython MATLAB Python
269	APPLIED MATHEMATICAL PROGRAMMING USING ALGEBRAIC SYSTEMS by Bruce A. McCarl Professor of Agricultural Economics Texas A&M University Add to Reading List Source URL: agecon2.tamu.edu Language: English - Date: 2004-11-24 14:19:14 Mathematical optimization Operations research Linear programming Quadratic programming Duality Nonlinear programming Constraint Stochastic programming Integer programming Relaxation Constrained optimization Simplex algorithm
270	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Predicate logic Mathematical logic Prolog Logic programming Partial evaluation Predicate Resolution Mereology Programming language Eval

UPDATE